(define (problem pfile25)
(:domain TPP-MetricTimeConstraints)
(:objects
	market1 market2 market3 - market
	depot1 - depot
	truck1 truck2 - truck
	goods1 goods2 goods3 goods4 goods5 goods6 goods7 - goods)

(:init
	(= (price goods1 market1) 49)
	(= (ready-to-load goods1 market1) 0)
	(= (on-sale goods1 market1) 17)
	(= (ready-to-load goods1 market2) 0)
	(= (on-sale goods1 market2) 0)
	(= (price goods1 market3) 26)
	(= (ready-to-load goods1 market3) 0)
	(= (on-sale goods1 market3) 14)
	(= (ready-to-load goods2 market1) 0)
	(= (on-sale goods2 market1) 0)
	(= (ready-to-load goods2 market2) 0)
	(= (on-sale goods2 market2) 0)
	(= (price goods2 market3) 30)
	(= (ready-to-load goods2 market3) 0)
	(= (on-sale goods2 market3) 7)
	(= (price goods3 market1) 29)
	(= (ready-to-load goods3 market1) 0)
	(= (on-sale goods3 market1) 14)
	(= (price goods3 market2) 14)
	(= (ready-to-load goods3 market2) 0)
	(= (on-sale goods3 market2) 4)
	(= (price goods3 market3) 37)
	(= (ready-to-load goods3 market3) 0)
	(= (on-sale goods3 market3) 14)
	(= (price goods4 market1) 43)
	(= (ready-to-load goods4 market1) 0)
	(= (on-sale goods4 market1) 2)
	(= (price goods4 market2) 33)
	(= (ready-to-load goods4 market2) 0)
	(= (on-sale goods4 market2) 9)
	(= (price goods4 market3) 9)
	(= (ready-to-load goods4 market3) 0)
	(= (on-sale goods4 market3) 20)
	(= (price goods5 market1) 15)
	(= (ready-to-load goods5 market1) 0)
	(= (on-sale goods5 market1) 18)
	(= (price goods5 market2) 11)
	(= (ready-to-load goods5 market2) 0)
	(= (on-sale goods5 market2) 15)
	(= (price goods5 market3) 25)
	(= (ready-to-load goods5 market3) 0)
	(= (on-sale goods5 market3) 2)
	(= (ready-to-load goods6 market1) 0)
	(= (on-sale goods6 market1) 0)
	(= (ready-to-load goods6 market2) 0)
	(= (on-sale goods6 market2) 0)
	(= (price goods6 market3) 47)
	(= (ready-to-load goods6 market3) 0)
	(= (on-sale goods6 market3) 3)
	(= (price goods7 market1) 24)
	(= (ready-to-load goods7 market1) 0)
	(= (on-sale goods7 market1) 11)
	(= (price goods7 market2) 32)
	(= (ready-to-load goods7 market2) 0)
	(= (on-sale goods7 market2) 16)
	(= (price goods7 market3) 1)
	(= (ready-to-load goods7 market3) 0)
	(= (on-sale goods7 market3) 12)
	(connected market1 market2)
	(connected market2 market1)
	(= (drive-cost market1 market2) 86.00)
	(= (drive-cost market2 market1) 86.00)
	(= (drive-time market1 market2) 258.00)
	(= (drive-time market2 market1) 258.00)
	(connected market1 market3)
	(connected market3 market1)
	(= (drive-cost market1 market3) 752.00)
	(= (drive-cost market3 market1) 752.00)
	(= (drive-time market1 market3) 2256.00)
	(= (drive-time market3 market1) 2256.00)
	(connected market2 market3)
	(connected market3 market2)
	(= (drive-cost market2 market3) 524.00)
	(= (drive-cost market3 market2) 524.00)
	(= (drive-time market2 market3) 1572.00)
	(= (drive-time market3 market2) 1572.00)
	(connected depot1 market1)
	(connected market1 depot1)
	(= (drive-cost market1 depot1) 85.00)
	(= (drive-cost depot1 market1) 85.00)
	(= (drive-time market1 depot1) 255.00)
	(= (drive-time depot1 market1) 255.00)
	(connected depot1 market2)
	(connected market2 depot1)
	(= (drive-cost market2 depot1) 895.00)
	(= (drive-cost depot1 market2) 895.00)
	(= (drive-time market2 depot1) 2685.00)
	(= (drive-time depot1 market2) 2685.00)
	(connected depot1 market3)
	(connected market3 depot1)
	(= (drive-cost market3 depot1) 147.00)
	(= (drive-cost depot1 market3) 147.00)
	(= (drive-time market3 depot1) 441.00)
	(= (drive-time depot1 market3) 441.00)
	(= (loaded goods1 truck1) 0)
	(= (loaded goods2 truck1) 0)
	(= (loaded goods3 truck1) 0)
	(= (loaded goods4 truck1) 0)
	(= (loaded goods5 truck1) 0)
	(= (loaded goods6 truck1) 0)
	(= (loaded goods7 truck1) 0)
	(at truck1 depot1)
	(= (loaded goods1 truck2) 0)
	(= (loaded goods2 truck2) 0)
	(= (loaded goods3 truck2) 0)
	(= (loaded goods4 truck2) 0)
	(= (loaded goods5 truck2) 0)
	(= (loaded goods6 truck2) 0)
	(= (loaded goods7 truck2) 0)
	(at truck2 depot1)
	(= (stored goods1) 0)
	(= (stored goods2) 0)
	(= (stored goods3) 0)
	(= (stored goods4) 0)
	(= (stored goods5) 0)
	(= (stored goods6) 0)
	(= (stored goods7) 0)
	(= (total-cost) 0)
	(= (rebate-rate market1) 0.76)
	(= (rebate-rate market2) 0.76)
	(= (rebate-rate market3) 0.76)
	(= (bought goods1) 0)
	(= (bought goods2) 0)
	(= (bought goods3) 0)
	(= (bought goods4) 0)
	(= (bought goods5) 0)
	(= (bought goods6) 0)
	(= (bought goods7) 0)
	(= (request goods1) 30)
	(= (request goods2) 5)
	(= (request goods3) 8)
	(= (request goods4) 9)
	(= (request goods5) 22)
	(= (request goods6) 2)
	(= (request goods7) 31))

(:goal (and
	(>= (stored goods1) (request goods1))
	(>= (stored goods2) (request goods2))
	(>= (stored goods3) (request goods3))
	(>= (stored goods4) (request goods4))
	(>= (stored goods5) (request goods5))
	(>= (stored goods6) (request goods6))
	(>= (stored goods7) (request goods7))))

(:constraints (and
	(forall (?m - market ?t - truck) (at-most-once (at ?t ?m)))

	(always (>= (stored goods4) (stored goods2)))

	(forall (?t - truck)
	   (always-within 2829.00 (> (loaded goods5 ?t) 0)
	      (= (loaded goods5 ?t) 0)))

	(forall (?t - truck)
	   (always-within 2829.00 (> (loaded goods3 ?t) 0)
	      (= (loaded goods3 ?t) 0)))

	(sometime-before (> (stored goods5) 0)
			 (>= (stored goods6) (request goods6)))

	(sometime-before (> (stored goods3) 0)
			 (>= (bought goods1) (request goods1)))))

(:metric minimize (+ (* 1.7 (total-cost))(total-time)))
)